Assign .mp4, .mkv, .avi and other video formats to VLC or your favourite video player — Settings → Apps → Default apps, find the app, assign each extension.